Expected Gains from Parallelizing Constraint Solving for
نویسندگان
چکیده
A number of recent studies have examined how the difficulty of various NP-hard problems varies with simple parameters describing their structure. In particular, they have identified parameter values that distinguish regions with many hard problem instances from relatively easier ones. In this paper we continue this work by examining independent parallel search. SpecificalIy, we evaluate the speedup as function of connectivity and search difficulty for the particular case of graph coloring with a standard heuristic search method. This requires examining the full search cost distribution rather than just the more commonly reported mean and variance. We also show similar behavior for a single-agent search strategy in which the search is restarted whenever it fails to complete within a specified cost bound.
منابع مشابه
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
Constraint satisfaction is very common in many arti cial intelligence applications. This paper presents results from parallelizing constraint satisfaction in a special application | the algorithm for qualitative simulation QSim [Kuipers 94]. A parallel-agent based strategy (PAB) is used to solve the constraint satisfaction problem (CSP). Two essential steps of PAB are studied in more detail to ...
متن کاملA Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling
In this paper, we introduce tracks. A track is a global constraint for parallelizing the execution of task sets in non-preemptive scheduling. We give algorithms for bound as well as for domain reasoning, we propose applications in school timetabling, and we report results of a large-scale empirical study. Section 2 introduces concepts and notations we rely on. Section 3 defines tracks in terms ...
متن کاملA Global Constraint for Parallelizing the Execution of Task Sets
We introduce the track parallelization problem (TPP) that consists in parallelizing the execution of task sets. For modelling and solving TPPs in a finite-domain constraintprogramming framework, we propose the TPP constraint along with a suitable solver for use in non-preemptive scheduling. We demonstrate how to infer redundant TPPs in school timetabling and we report a large-scale empirical st...
متن کاملInterval Constraint Solving Using Propositional SAT Solving Techniques
In order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transcendental functions, we extend the paradigm of lazy theorem proving to intervalbased arithmetic constraint solving. Algorithmically, our approach deviates substantially from “classical” lazy theorem proving approaches in that it directly controls arithmetic constraint ...
متن کاملParallelizing Assignment Problem with DNA Strands
Background:Many problems of combinatorial optimization, which are solvable only in exponential time, are known to be Non-Deterministic Polynomial hard (NP-hard). With the advent of parallel machines, new opportunities have been emerged to develop the effective solutions for NP-hard problems. However, solving these problems in polynomial time needs massive parallel machines and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999